Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points
نویسندگان
چکیده
In this work, four modal-like operators on Boolean lattices are introduced and their theory is presented from lattice-theoretical, topological and algebraic point of view. It is also shown how rough set approximation operators, modal operators in temporal logic, and linguistic modifiers determined by L-sets can be interpreted as modal-like operators.
منابع مشابه
Games for Logic and Concurrency
4 Literature review 8 4.1 Modal and Temporal Logics . . . . . . . . . . . . . . . . . . . . . . . . . . 8 4.2 Games for Modal and Temporal Logics . . . . . . . . . . . . . . . . . . . . 9 4.3 Models of Concurrency . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 4.4 Games for Models of Concurrency . . . . . . . . . . . . . . . . . . . . . . 10 4.5 Lattices and Complete lattices . . ....
متن کاملLattices of Fixed Points of Fuzzy Galois Connections
We give a characterization of the fixed points and of the lattices of fixed points of fuzzy Galois connections. It is shown that fixed points are naturally interpreted as concepts in the sense of traditional logic.
متن کاملFurther Galois Connections between Semimodules over Idempotent Semirings
In [14] a generalisation of Formal Concept Analysis was introduced with data mining applications in mind, K-Formal Concept Analysis, where incidences take values in certain kinds of semirings, instead of the standard Boolean carrier set. The construction leading to the pair of dually (order) isomorphic lattices can be further manipulated to obtain the three other types of Galois Connections pro...
متن کاملOn basic conditions to generate multi-adjoint concept lattices via Galois connections
This paper introduces sufficient and necessary conditions with respect to the fuzzy operators considered in a multi-adjoint frame under which the standard combinations of multiadjoint sufficiency, possibility and necessity operators form (antitone or isotone) Galois connections. The underlying idea is to study the minimal algebraic requirements so that the concept-forming operators (defined usi...
متن کاملLattices for 3-Dimensional Fuzzy Data generated by Fuzzy Galois Connections
Vagueness and high dimensional space data are usual features of current data. The paper is an approach to identify conceptual structures among fuzzy three dimensional data sets in order to get conceptual hierarchy. We propose a fuzzy extension of the Galois connections that allows to demonstrate an isomorphism theorem between fuzzy sets closures which is the basis for generating lattices ordere...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fundam. Inform.
دوره 76 شماره
صفحات -
تاریخ انتشار 2007